Статический анализ появился почти 40 лет назад.
В своём докладе мы хотим показать, чему за это время научились статические анализаторы.
Мы рассмотрим различные методики анализа, как они появлялись и какие ошибки можно найти с помощью них.
Посмотрим на примеры ошибок, найденных PVS-Studio в Open Source проектах.
Поговорим о том, чем статический анализатор отличается от "линтеров" и некоторых других инструментов, а также какие проблемы решает современный статический анализатор C++ кода, помимо собственно анализа кода.